Real-time operating systems - PDFSEARCH.IO - Document Search Engine

Real-time operating systems
Results: 391

#	Item
31	Embedded Computing Design Resource Guide SOFTWARE Operating Systems: Kernels and tools embedded-computing.com/p9918156 Add to Reading List Source URL: www.state-machine.com Language: English - Date: 2014-07-07 10:50:46 Embedded operating systems Real-time operating systems Cross-platform software QP Software architecture Software Computing Models of computation
32	FOR IMMEDIATE RELEASE CONTACT: Janice Hughes Hughes Communications, Inc Cell: ( Add to Reading List Source URL: rtos.com Language: English - Date: 2012-05-01 15:06:08 Computing Real-time operating systems Microcontrollers STM32 ARM Cortex-M ThreadX Iperf Transmission Control Protocol Internet protocol suite Computer architecture ARM architecture Network performance
33	Jeremy PennerSupervisor: Michael Zapp Add to Reading List Source URL: www.sporktania.com Language: English - Date: 2006-03-17 20:56:41 Procedural programming languages Functional languages Linux RTAI Standard ML RTLinux ML Type safety Scheduling Computing Software Real-time operating systems
34	Mathematically Verified Software Kernels: Raising the Bar for High Assurance Implementations Dr Daniel Potts, VP of Engineering, General Dynamics C4 Systems Rene Bourquin, Member Technical Staff, General Dynamics C4 Syst Add to Reading List Source URL: sel4.systems Language: English - Date: 2014-07-28 22:03:39 Evaluation Trusted computing base Microkernel L4 microkernel family Real-time operating systems Gernot Heiser Formal verification Isabelle Formal methods Computer security Computer architecture Computing
35	™ AUTOMOTIVE PROFILE FOR VXWORKS Powering billions of intelligent devices, VxWorks® is the world’s most widely deployed realtime operating system (RTOS). Leading global innovators choose VxWorks to differentiate th Add to Reading List Source URL: www.windriver.com Language: English - Date: 2015-05-19 08:18:42 Computing Technology System software Software architecture VxWorks AUTOSAR Wind River Systems TTTech Integrity Real-time operating systems Embedded operating systems Automotive software
36	Wind River Unveils IoT-Enabled Product Portfolio NEWS HIGHLIGHTS • Wind River adds foundational IoT capabilities across product portfolio and announces availability of high-performance RTOS in a tiny footprint to facil Add to Reading List Source URL: www.industryofthingsworld.com Language: English - Date: 2015-05-27 05:10:06 Embedded operating systems Real-time operating systems Wind River Systems Computer architecture VxWorks Embedded system Embedded software Cloud computing Computing Ambient intelligence Internet of Things
37	Verifying Security Invariants in ExpressOS Haohui Mai Edgar Pek Hui Xue Samuel T. King P. Madhusudan Add to Reading List Source URL: haohui.me Language: English Real-time operating systems Monolithic kernels Microkernel Kernel Ioctl Android Operating system EROS Loadable kernel module Computer architecture System software Software
38	WIND RIVER PLATFORM FOR INFOTAINMENT In-vehicle infotainment (IVI) systems have taken center stage for differentiating in-vehicle experiences. Consumers expect intelligent connected cars that link critical telematics fu Add to Reading List Source URL: www.windriver.com Language: English - Date: 2015-02-27 13:09:10 Embedded Linux Automotive software GENIVI Alliance Wind River Systems Real-time operating systems Build automation I.MX In car entertainment VxWorks Computing Software System software
39	™ STAGING FOR THE REAL WORLD Simulate at scale: Accelerate software deliveries and increase quality by staging new functionality on a virtual replica of your entire system ® Add to Reading List Source URL: www.windriver.com Language: English - Date: 2015-05-19 13:21:07 Simulation software Debuggers Simics Wind River Systems Embedded operating systems Real-time operating systems Simulation Embedded system VxWorks System software Software Virtual machines
40	seL4 for Dependable Systems Software Developing dependable systems requires built-in security and safety at all levels of the system, including in the lowest-level system software: the operating system and device access Add to Reading List Source URL: sel4.systems Language: English - Date: 2014-09-23 22:58:53 Gernot Heiser L4 microkernel family Formal verification Real-time operating systems Kernel Computer security Integrity Mach Ring Computer architecture Trusted computing base Microkernel

UPDATE